只需证明上述定义的
等于
.
证毕.